منابع مشابه
Framing the Frame Problem
Some parts of the software verification process require human annotation, but as much as possible of the rest should be automatic. An excellent candidate for full automation is change analysis, also known as the frame problem: how to determine which program properties remain unchanged under a given operation. The problem is particularly delicate in the case of programs using pointers or referen...
متن کاملWhy God Cannot Think: Kant, Omnipresence, & Consciousness
It has been argued that God is omnipresent, that is, present in all places and in all times. Omnipresence is also implied by God's knowledge, power, and perfection. A Kantian argument shows that in order to be self-aware, apply concepts, and form judgments, in short, to have a mind, there must be objects that are external to a being that it can become aware of and grasp itself in relationship t...
متن کاملthe problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولthe algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولThe Cognitive Binding Problem: From Kant to Quantum Neurodynamics
The cognitive binding problem is a central question in the study of consciousness: how does the brain synthesize its modal and submodal processing systems to generate a unity of conscious experience? This essay considers several solutions to the binding problem, as well as their shortcomings. In particular, the current theory of neural synchronization as the basis for binding and consciousness ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ?????????? ???????
سال: 2023
ISSN: ['1684-6753']
DOI: https://doi.org/10.5922/0207-6918-2023-2-1